Properties of WN x /GaAs Schottky contacts prepared by ion implantation of nitrogen

The formation of WN _x /GaAs Schottky contacts using selective ion implantation of nitrogen into the sputtered tungsten film has been demonstrated. The contacts were characterized by Auger electron spectroscopy and current-voltage measurements. The composition of WN _x films and the thermal stability of WN _x /GaAs contacts were investigated. Good thermal stability of WN _x /GaAs contacts compared with a W/GaAs contact was observed after capless rapid thermal annealing at 450, 800 and 950°C for 10 s.     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Dual approach to multiple authorship in the study of collaboration/scientific output relationship

This paper presents an empirical study of the relations between scientific output and collaboration performed on two scales: (1) an individual scale, for members of a study model, and (2) a group scale, for three samples varying in the level of productivity. The rank approach was applied in the preparation of the study model resulting in the selection of a set of the most prolific authors. In the course of that process, multiple authorship problem was solved by a dual approach, consisting of normal count and modified straight count procedures. As shown by the analysis of collaborative patterns, either on individual or on group scales, scientific output is highly dependent on the frequency of collaboration among the same authors. Expressed as the collaboration measure, it might serve as an indicator in comparative analyses of scientific productivity in a given field of science.     

Qualitative analysis of motion properties of semistate models of large-scale systems

This paper studies the behavior of motions of large-scale (LS) semistate systems (SSS) governed byP _i (t)x _i =M _i (t,x _i )x _i +f _i (t)+h _i (t, x), i=1,2,...,s, =(x ₁ ^T x ₂ ^T x _s ^T )^T, where matricesP _i (t) are singular. Using Lyapunov's approach and the tools for LS system analysis, a variant of attractivity and ultimate boundedness of appropriate time-variable sets are investigated. The results are based on a specific choice of the aggregate functions. It is assumed that the reduction of equations to a normal form of lower order is inconvenient. The aggregation-decomposition approach used in this paper reduces the dimensionality of an aggregate matrix of the system to the number of its systems. Motion properties of LS systems are deduced from the properties of its isolated subsystems, the character of interconnections, and the conditions imposed on the system aggregate matrix. Sufficient algebraic conditions for the above-mentioned motion properties are developed.     

Magnetic pinning in inhomogeneous type II superconductors

The magnetic structure of a vortex in the presence of an anisotropic inhomogeneity distribution is calculated within the London model. The anisotropic supercurrent pattern consists of closed current loops, superimposed on a backflow pattern. The nonvanishing current density at the vortex core gives rise to an intrinsic Lorentz force identical with the pinning force resulting from the spatial variation of the vortex self-energy.     

Photo-Chemically-Deposited and Industrial Cu/ZnO/Al2O3 Catalyst Material Surface Structures During CO2 Hydrogenation to Methanol: EXAFS,XANES and XPS Analyses of Phases After Oxidation,Reduction, and Reaction

Catalysis Letters - Industrial Cu/ZnO/Al2O3 or novel rate catalysts, prepared with a photochemical deposition method, were studied under functional CH3OH synthesis conditions at the set temperature...     

Functionalized oligopolysiloxanes by heterogeneously catalyzed equilibration polymerization reactions

Summary A new general procedure for preparation of functionalized oligopolysiloxanes of predetermined molecular weight is described. It utilizes heterogeneously catalyzed siloxane equilibration polymerization reactions which do not require troublesome and sometimes difficult post-preparative work-up procedures usually encountered with the well known homogeneously catalyzed corresponding reactions. The method is described using as example the preparation of , -telechelic vinyldimethylsiloxy-oligopolydimethylsiloxanes from octamethylcyclotetrasiloxane and 1,3-divinyltetramethyldisiloxane, but reference to the preparations of trimethylsiloxy-, dimethylsiloxy-and carboxypropyldimethylsiloxyoligopolydimethylsiloxanes, oligopolymethylhydridosiloxanes or their copolymers is also made.     

An e-Learning tool considering similarity measures for manufacturing cell formation

Manufacturing cell formation is the first step in the design of cellular manufacturing system. The primary objective of this step is to cluster machines into machine cells and parts into part families so that the minimum of intercell trips will be achieved. This paper will be focused on the configuration of machine cells considering three types of initial machine-part matrix: binary (zero-one) matrix, production volume matrix, and operation time matrix. The similarity measure uses only information from these types of matrix. A pure combinatorial programming formulation will be developed to maximize the sum of similarity coefficients between machine/part pairs. An e-Learning tool/application to help industrial students and engineers for enhancing their cell formation capability is proposed. This tool is designed to include a novel similarity coefficient-based heuristic algorithm for solving the cell formation problem. To determine the performance of the proposed tool, comparison is made with a well-known tool along a case study.